import MaybeCPS
import MaybeCPSMonad

instance Eq a => Eq (MaybeCPS (Maybe a) a) where
    (==) :: MaybeCPS (Maybe a) a -> MaybeCPS (Maybe a) a -> Bool
    (MaybeCPS c1) == (MaybeCPS c2) = c1 Just Nothing == c2 Just Nothing

sizedArbTestBinTree :: Arbitrary a => Int -> Gen (MaybeCPS (Maybe a) a)